Lucx: Lucid Enriched with Context
نویسندگان
چکیده
In this paper, we give an overview of our current work on introducing context as first-class objects in Lucid. The use of contexts as first class values increases the expressive power of Lucx (Lucid enriched with context). It allows us to use the paradigm for agent communication, for real-time reactive programming and for constraint programming. We include a discussion on context calculus, representation of context aggregations, the syntax and semantic rules of Lucx. The implementation of Lucx in GIPSY, a platform under development for compiling Lucid family of languages, is also given.
منابع مشابه
A Context Theory for Intensional Programming
In this paper, we give an overview of our current work on introducing context as first-class objects in Lucid. The use of contexts as first class values increases the expressive power of Lucx (Lucid enriched with context). It allows us to write programs in Lucx in a high level of abstraction which is closer to the problem domain. We include a discussion on context theory, representation of cont...
متن کاملAn Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous work on Lucx, an Intensional Programming Language extended with context as first class object, to support coordination activities in a distributed network of agents. We study coordination constructs which can be applied...
متن کاملIntensional Cyberforensics
Intensional Cyberforensics Serguei A. Mokhov, Ph.D.Concordia University, 2013 This work focuses on the application of intensional logic to cyberforensic analysis and itsbenefits and difficulties are compared with the finite-state-automata approach. This workextends the use of the intensional programming paradigm to the modeling and implemen-tation of a cyberforensics investigati...
متن کاملReal Time Reactive Programming in Lucid Enriched with Contexts
We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows real-time reactive programs to manipulate both events and state-based representations of complex systems. We show the formal specification of the Train-Gate-Controller problem, a standard case study in real-time systems community...
متن کاملThe Accessory Sinuses of the Nose
By far the major portion of the book is given ,.nto nrrount ot tho anatomy of the up to an acci < orjffinal dissections beautifully sinuses aset u()tocrraphic plates and enriched illustrated from photo0uiF i ^ further ?'?TfZen sections of the bodymSr?.ore lucid and yet concise and full , ,. ,, ? nt.flt))rav of the nose it has never account of the anatomv teen our fortune to peruse. It has moreo...
متن کامل